Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
441	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science
442	Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:00:24 Type theory Formal methods Type systems Constraint programming Satisfiability Modulo Theories Type inference Logic programming Hindley–Milner Algorithm Mathematics Theoretical computer science Applied mathematics
443	Type and Eect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des Mines de Paris fvouillon, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:30:23 Formal methods Order theory Logic in computer science Models of computation Lambda calculus Abstract interpretation Interpretation Galois connection Type system Mathematics Theoretical computer science Logic
444	Eect Systems with Subtyping Yan Mei Tang Pierre Jouvelot Centre de Recherche en Informatique Ecole Des Mines de Paris E-mail: ftang, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:20:12 Data types Programming language theory Formal methods Object-oriented programming Polymorphism Subtype polymorphism Type system Type safety Lambda calculus Type theory Software engineering Computing
445	Document O69 April 2014 RESEARCH NOTE THE PIVOTAL BIG DATA SUITE − Add to Reading List Source URL: d1fto35gcfffzn.cloudfront.net Language: English - Date: 2014-12-12 20:44:26 Business intelligence Formal sciences Database management systems Database theory Cloud computing Apache Hadoop Data warehouse Analytics Big data Technology Data management Computing
446	Specifying Crash Safety for Storage Systems Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler,† Nickolai Zeldovich MIT CSAIL and † Harvard University 1 Add to Reading List Source URL: people.csail.mit.edu Language: English Disk file systems File system Ext3 Kernel Formal verification Linux kernel KeY XFS Btrfs Computing Software System software
447	1502_EXASolutionOverview.indd Add to Reading List Source URL: www.exasol.com Language: English - Date: 2015-03-13 11:09:42 Computing Formal sciences Database management systems Emerging technologies EXASOL Big data Analytics Apache Hadoop Data warehouse appliance Technology Data management Business intelligence
448	Trendafilovv, D., and Murray-Smith, RInformation-theoretic characterization of uncertainty in manual control. In: IEEE International Conference on Systems, Man and Cybertnetics, 13-16 Oct 2013, Manchester, UK. C Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English Science Information Empowerment Management Sociology Rate–distortion theory Control theory Mutual information Knowledge Information theory Cybernetics Formal sciences
449	Search and Real-Time Analytics on Big Data Sewook Wee, Ryan Tabora, Jason Rutherglen Accenture & Think Big Analytics Add to Reading List Source URL: cdn.oreillystatic.com Language: English - Date: 2012-10-24 10:29:04 Information retrieval Searching Database management systems Formal sciences Cross-platform software Apache Solr Lucene Full text search Shard Information science Software Computing
450	Microsoft Word - 11.Agile Methods Add to Reading List Source URL: agile.csc.ncsu.edu Language: English - Date: 2011-03-29 12:47:58 Software development process Software project management Formal methods Software requirements Extreme programming Acceptance testing Dynamic systems development method User story Crystal Clear Software development Software Agile software development

UPDATE